Dr
Peter Schachte
Senior Lecturer in Software Engineering
School of Computing and Information Systems
Program Verification
Program Analysis
Programming Language Design
Declarative Programming
46 information and computing sciences
science & technology
technology
computer science
computer science, theory & methods